This is TeX, WAITS Version 2.98 (preloaded format=plain 89.3.2)  24 APR 1989 11:02
**BIOJMC.TEX[1,JMC]
(BIOJMC.TEX[1,JMC] [1] [2]
Overfull \hbox (10.57909pt too wide) in paragraph at lines 60--62, p.4
[]\tenbf McCarthy, John (1962)\tenrm : ``Com-puter Pro-grams for Check-ing Math-
e-mat-i-cal Proofs'',

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.etc.

[3] [4] [5] [6]
Output written on BIOJMC.DVI[LET,JMC] (6 pages, 18900 bytes).